1. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
Classification :
TK
7874
.
75
.
I45
1997
2. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
3. Empirical software engineering and verification
Author: Bertrand Meyer, Martin Nordio (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
E47
2011eb
4. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
5. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
6. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
7. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
8. Languages, Design Methods, and Tools for Electronic System Design
Author: \ Franco Fummi, Robert Wille, Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
Classification :
E-Book
,
9. Languages, design methods, and tools for electronic system design.
Author: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
9
.
L325
2016
E-Book
,
10. Model Checking Software
Author: \ Bernd Fischer, Jaco Geldenhuys (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47
I58
2015
E-Book
,
11. Verification, Model Checking, and Abstract Interpretation.
Author: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
Classification :
.
V4
2016
E-Book
,
12. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
